var one = document.getElementById('header-cell');
var two = document.getElementById('footer-container');
var three = document.getElementById('content-frame');
var four = document.getElementById('footer-container-reducer');
function resizeContent()
{
    if (! two) {
        return;
    }
    two.style.height = four.offsetHeight + 'px';
    var new_height = two.offsetTop - (one.offsetTop + one.offsetHeight);
    if (new_height > three.offsetHeight) {
        three.style.height = new_height + 'px';
    }
}
